Xuandong Li,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Effective testing of Android apps using extended IFML models

Pan, Minxue, Lu, Yifei, Pei, Yu, Zhang, Tian, Zhai, Juan, Li, Xuandong

Journal:

Journal of Systems and Software

Year:

2020

Language:

english

File:

PDF, 1.34 MB

english, 2020

2

[IEEE 2012 IEEE Fifth International Conference on Advanced Computational Intelligence (ICACI) - Nanjing, China (2012.10.18-2012.10.20)] 2012 IEEE Fifth International Conference on Advanced Computational Intelligence (ICACI) - Path following of the rope-drive snake-like robot

Huang, Chengzu, Gao, Junyao, Wang, Cheng, Su, Xuandong, Liu, Huaxin, Li, Xin, Liu, Yi, Xu, Zhe

Year:

2012

Language:

english

File:

PDF, 2.26 MB

english, 2012

3

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

Ye, Tao, Zhang, Lingming, Wang, Linzhang, Li, Xuandong

Year:

2016

Language:

english

File:

PDF, 222 KB

english, 2016

4

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Change-Based Test Script Maintenance for Android Apps

Chang, Nana, Wang, Linzhang, Pei, Yu, Mondal, Subrota K., Li, Xuandong

Year:

2018

Language:

english

File:

PDF, 248 KB

english, 2018

5

Breast cancer genes don't have to mean cancer

Zhang, Fengling, Bu, Lei, Wang, Linzhang, Zhao, Jianhua, Chen, Xin, Zhang, Tian, Li, Xuandong

Journal:

Year:

2008

Language:

english

File:

PDF, 100 KB

english, 2008

6

[IEEE 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96 - Kauai, HI, USA (18-21 Nov. 1996)] Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96 - A plant-based formal approach to development of hybrid process control systems

Yang Zhenyu,, Chen Zongji,, Li Xuandong,

Year:

1996

Language:

english

File:

PDF, 651 KB

english, 1996

7

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Improve Model Checking Efficiency Using Specific Knowledge about the System

Zhao, Jianhua, Lei, Bin, Li, Xuandong, Zheng, Guoliang

Year:

2006

Language:

english

File:

PDF, 361 KB

english, 2006

8

One-Pot Synthesis of Fe3O4@PS@P(AEMH-FITC) Magnetic Fluorescent Nanocomposites for Bimodal Imaging

Wang, Xuandong, Liu, Huiyu, Jun, Ren, Fu, Changhui, Li, Linlin, Liu, Tianlong, Tang, Fangqiong, Meng, Xianwei

Journal:

Journal of Nanoscience and Nanotechnology

Year:

2016

Language:

english

File:

PDF, 650 KB

english, 2016

9

[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - BovInspector: automatic inspection and repair of buffer overflow vulnerabilities

Gao, Fengjuan, Wang, Linzhang, Li, Xuandong

Year:

2016

Language:

english

File:

PDF, 443 KB

english, 2016

10

A fully enclosed, compact standard lightning impulse generator for testing ultra-high-voltage-class gas-insulated switchgears with high capacitance

Wen, Tao, Zhang, Qiaogen, Zhang, Lingli, Zhao, Junping, Liu, Xuandong, Li, Xiaoang, Guo, Can, You, Haoyang, Chen, Weijiang, Yin, Yu, Shi, Weidong

Journal:

Review of Scientific Instruments

Year:

2016

Language:

english

File:

PDF, 4.80 MB

english, 2016

11

[IEEE 2017 1st International Conference on Electrical Materials and Power Equipment (ICEMPE) - Xi'an, China (2017.5.14-2017.5.17)] 2017 1st International Conference on Electrical Materials and Power Equipment (ICEMPE) - Wide-range high voltage input auxiliary power supply for modular multi-level converters

Kong, Dezhi, Liu, Xuandong, Ying, Zhixuan, Sun, Wenjian, Li, Geqi, Wang, Ks, Peng, Jing, Zhang, Qiaogen

Year:

2017

Language:

english

File:

PDF, 500 KB

english, 2017

12

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing

Ji, Ruihua, Li, Zhong, Chen, Shouyu, Pan, Minxue, Zhang, Tian, Ali, Shaukat, Yue, Tao, Li, Xuandong

Year:

2018

Language:

english

File:

PDF, 966 KB

english, 2018

13

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-Driven Systems

Pan, Minxue, Chen, Shouyu, Pei, Yu, Zhang, Tian, Li, Xuandong

Year:

2019

Language:

english

File:

PDF, 331 KB

english, 2019

14

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Energy Distribution Matters in Greybox Fuzzing

Situ, Lingyun, Wang, Linzhang, Li, Xuandong, Guan, Le, Zhang, Wenhui, Liu, Peng

Year:

2019

Language:

english

File:

PDF, 103 KB

english, 2019

15

Enhancing example-based code search with functional semantics

Chen, Zhengzhao, Jiang, Renhe, Zhang, Zejun, Pei, Yu, Pan, Minxue, Zhang, Tian, Li, Xuandong

Journal:

Journal of Systems and Software

Year:

2020

File:

PDF, 1.73 MB

2020

16

[IEEE 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Grenoble, France (2020.3.9-2020.3.13)] 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language

Zhang, Shiyu, Zhai, Juan, Bu, Lei, Chen, Mingsong, Wang, Linzhang, Li, Xuandong

Year:

2020

File:

PDF, 311 KB

2020

17

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming

Xuandong Li, Sumit Jha Aanand, Lei Bu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 316 KB

english, 2007

18

State Based Robustness Testing for Components

Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 534 KB

english, 2010

19

Efficient verification of a class of time Petri nets using linear programming

Xuandong Li, Johan Lilius

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 85 KB

english, 2001

20

The electro-optical effects of liquid crystallines side-chain polysiloxane

Li Kaiyang, Zhang Shaopin, Yang Tong, Yang Xuandong, Luo Zhaohui, Zhang Xianliang

Journal:

Wuhan University Journal of Natural Sciences

Year:

1997

Language:

english

File:

PDF, 253 KB

english, 1997

21

Verifying time Petri nets by linear programming

Journal:

Journal of Computer Science and Technology

Year:

2001

Language:

english

File:

PDF, 515 KB

english, 2001

22

Checking MSC specifications for timing inconsistency

Xuandong Li, Wenkai Tan, Guoliang Zheng

Journal:

Journal of Computer Science and Technology

Year:

2002

Language:

english

File:

PDF, 643 KB

english, 2002

23

Duration-constrained regular expressions

Li Xuandong, Zhao Jianhua, Zheng Tao, Li Yong, Zheng Guoliang

Journal:

Formal Aspects of Computing

Year:

2004

Language:

english

File:

PDF, 120 KB

english, 2004

24

Path-oriented bounded reachability analysis of composed linear hybrid systems

Lei Bu, Xuandong Li

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 537 KB

english, 2011

25

A model-driven development framework for enterprise Web services

Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, JianHua Zhao, Xuandong Li

Journal:

Information Systems Frontiers

Year:

2007

Language:

english

File:

PDF, 498 KB

english, 2007

26

An MDE-based method for bridging different design notations

Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li

Journal:

Innovations in Systems and Software Engineering

Year:

2008

Language:

english

File:

PDF, 1.05 MB

english, 2008

27

Deriving Available Behavior All Out from Incompatible Component Compositions

Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 339 KB

english, 2006

28

A quadratic-time DBM-based successor algorithm for checking timed automata

Jianhua Zhao, Xuandong Li, Guoliang Zheng

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 86 KB

english, 2005

29

Robustness testing for software components

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 801 KB

english, 2010

30

Timing analysis of scenario-based specifications using linear programming

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 1.90 MB

english, 2012

31

Timing analysis of scenario-based specifications using linear programming

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 2.13 MB

english, 2012

32

TiO2 ceramic films prepared by micro-plasma oxidation method for photodegradation of rhodamine B

Wu Xiaohong, Jiang Zhaohua, Liu Huiling, Li Xuandong, Hu Xinguo

Journal:

Materials Chemistry and Physics

Year:

2003

Language:

english

File:

PDF, 295 KB

english, 2003

33

Positive loop-closed automata: a decidable class of hybrid systems

Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 324 KB

english, 2002

34

Formation of Ag nanoparticles on water-soluble anatase TiO2 clusters and the activation of photocatalysis

Jingyu Wang, Hongtao Zhao, Xinrong Liu, Xuandong Li, Ping Xu, Xijiang Han

Journal:

Catalysis Communications

Year:

2009

Language:

english

File:

PDF, 476 KB

english, 2009

35

Prevalence and clinical significance of Cryptosporidium infection in patients with hepatitis B virus-associated acute-on-chronic liver failure

Zhijian Yu, Fawu Li, Zhongming Zeng, Zheng Huang, Zhang Fan, Yang Jin, Wensheng Luo, Xuandong Xiang, Qiwen Deng

Journal:

International Journal of Infectious Diseases

Year:

2011

Language:

english

File:

PDF, 197 KB

english, 2011

36

Timing analysis of MSC specifications with asynchronous concatenation

Minxue Pan, Xuandong Li

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.14 MB

english, 2012

37

Comparison of Mastoscopic and Conventional Axillary Lymph Node Dissection in Breast Cancer: Long-term Results From a Randomized, Multicenter Trial

Chengyu Luo, Wenbin Guo, Jie Yang, Qiuru Sun, Wei Wei, Suhua Wu, Shubing Fang, Qingliang Zeng, Zhensheng Zhao, Fanjie Meng, Xuandong Huang, Xianlan Zhang, Ruihua Li, Xiufeng Ma, Chaoying Luo, Yun Yang

Journal:

Mayo Clinic Proceedings

Year:

2012

Language:

english

File:

PDF, 381 KB

english, 2012

38

Loop reduction techniques for reachability analysis of linear hybrid automata

MinXue Pan, You Li, Lei Bu, XuanDong Li

Journal:

SCIENCE CHINA Information Sciences

Year:

2012

Language:

english

File:

PDF, 382 KB

english, 2012

39

[IEEE 11th Asia-Pacific Software Engineering Conference - Busan, Korea (30-03 Nov. 2004)] 11th Asia-Pacific Software Engineering Conference - Generating Test Cases from UML Activity Diagram based on Gray-Box Method

Wang Linzhang,, Yuan Jiesong,, Yu Xiaofeng,, Hu Jun,, Li Xuandong,, Zheng Guoliang,

Year:

2004

Language:

english

File:

PDF, 230 KB

english, 2004

40

A declarative approach for Java code instrumentation

Zhang, Tian, Zheng, Xiaomei, Zhang, Yan, Zhao, Jianhua, Li, Xuandong

Journal:

Software Quality Journal

Year:

2015

Language:

english

File:

PDF, 2.68 MB

english, 2015

41

Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata

Zhang, Fengling, Bu, Lei, Wang, Linzhang, Zhao, Jianhua, Chen, Xin, Zhang, Tian, Li, Xuandong

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 794 KB

english, 2013

42

Silsesquioxane nanohybrids as sun protection factor ingredients and films of greenhouse

Wang, Di, Chen, Xiaodong, Li, Xuandong, Liu, Yu, Hu, Lijiang

Journal:

Journal of Biotechnology

Year:

2008

Language:

english

File:

PDF, 68 KB

english, 2008

43

SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata

Xie, Dingbao, Bu, Lei, Zhao, Jianhua, Li, Xuandong

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 598 KB

english, 2014

44

[IEEE 2010 2nd International Conference on Software Technology and Engineering (ICSTE 2010) - San Juan, PR, USA (2010.10.3-2010.10.5)] 2010 2nd International Conference on Software Technology and Engineering - Auto-generation and redundancy reduction of test cases for reactive systems

Donghuo Chen,, Xuandong Li,, Shizhong Zhao,

Year:

2010

Language:

english

File:

PDF, 843 KB

english, 2010

45

Study on Resistance and Energy Deposition of Spark Channel Under the Oscillatory Current Pulse

Li, Xiaoang, Liu, Xuandong, Zeng, Fanhui, Yang, Hao, Zhang, Qiaogen

Journal:

IEEE Transactions on Plasma Science

Year:

2014

Language:

english

File:

PDF, 1.76 MB

english, 2014

46

A Multi-Gap Multi-Channel Gas Switch for the Linear Transformer Driver

Xuandong, Liu, Tianxue, Liang, Fengju, Sun, Xiaofeng, Jiang, Jia, Li, Fu, Sun, Aici, Qiu

Journal:

Plasma Science and Technology

Year:

2009

Language:

english

File:

PDF, 3.67 MB

english, 2009

47

[IEEE Comput. Soc PNPM'99. 8th International Workshop on Petri Nets and Performance Models - Zaragoza, Spain (8-10 Sept. 1999)] Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) - Checking time Petri nets for linear duration properties

Xuandong Li,, Lilius, J.

Year:

1999

Language:

english

File:

PDF, 133 KB

english, 1999

48

[IEEE 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06) - Hong Kong, China (2006.10.16-2006.10.16)] 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06) - A Model Driven Development Framework for Enterprise Web Services

Yu, Xiaofeng, Hu, Jun, Zhang, Yan, Zhang, Tian, Wang, Linzhang, Zhao, Jianhua, Li, Xuandong

Year:

2006

Language:

english

File:

PDF, 170 KB

english, 2006

49

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - An Instrumentation Tool for Program Dynamic Analysis in Java

Huajie, Chen, Tian, Zhang, Lei, Bu, Xuandong, Li

Year:

2011

Language:

english

File:

PDF, 1.06 MB

english, 2011

50

[IEEE 2009 IEEE 17th International Conference on Program Comprehension (ICPC) - Vancouver, BC, Canada (2009.05.17-2009.05.19)] 2009 IEEE 17th International Conference on Program Comprehension - Design pattern directed clustering for understanding open source code

Han, Zhixiong, Wang, Linzhang, Yu, Liqian, Chen, Xin, Zhao, Jianhua, Li, Xuandong

Year:

2009

Language:

english

File:

PDF, 640 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски